Rewriting Binomial Probabilities For Computation